DISJ

open fun DISJ(): List<TerminalNode>
open fun DISJ(i: Int): TerminalNode